1. Agent-oriented information systems II
Author: Paolo Giorgini ... [and others]&
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Intelligent agents (Computer software), Congresses,Object-oriented methods (Computer science), Congresses,Artificial intelligence, Congresses
Classification :
{
1648
},
45bf8fda2e8c94bc9a8b62a2e8e0f01f
2. Agent-oriented information systems : 5th international bi-conference workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers
Author: Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Intelligent agents )Computer software(,Congresses ، Object-oriented methods )Computer science(,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
3030
3. Business object design and implementation :
Author: J. Sutherland ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing-- Congresses,Computer security-- Congresses,Object-oriented methods (Computer science)-- Congresses
Classification :
QA76
.
9
.
A25
W669
1995
4. ECOOP 2003--Object-oriented programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
Author: Luca Cardelli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
2743
5. ECOOP 2010--object-oriented programmin
Author: / Theo D'Hondt (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Object-oriented programming (Computer science)--Congresses,Object-oriented methods (Computer science)--Congresses
Classification :
QA
,
76
.
64
6. ECOOP 2010 -- object-oriented programming
Author: Theo D'Hondt (ed.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Object-oriented programming (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
Classification :
QA
،
76
.
64
،.
E953
،
2010
7. ECOOP 2007-- object-oriented programming
Author: / Erik Ernst (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Object-oriented programming (Computer science)--Congresses,Object-oriented methods (Computer science)--Congresses
Classification :
QA
,
76
.
64
,.
E953
,
2007
8. ECOOP 2005 - object-oriented programming : 19th European Conference, Glasgow, UK, July 25-29, 2005 : proceedings
Author: Andrew P. Black )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3586
9. ECOOP 2004 - object-oriented programming : 18th European Conference, Oslo, Norway, June 14-18, 2004 : proceedings
Author: Martin Odersky )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3086
10. First International Enterprise Distributed Object Computing Workshop: October 24-26, 1997, Gold Coast, Australia
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(,Congresses ، Electronic data processing-- Distributed processing
Classification :
QA
76
.
9
.
O35
.
I563
1997
11. Formal methods for components and objects
Author: / Frank S. de Boer ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F53
,
2005
12. Formal methods for components and objects :
Author: Frank S. de Boer ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses
Classification :
QA76
.
9
.
F67
F53
2002
13. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Author: Frank S. de Boer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3188
14. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Author: Frank S. de Boer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2852
15. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
Author: Frank S. de Boer... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3657
16. Formal methods for open object-based distributed systems. volume 2
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
Classification :
QA
76
.
9
.
D5
.
F66
1997
17. Formal verification of object-oriented software :
Author: Bernhard Beckert, Claude Marche (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
F68
2011
18. JGI'02 : proceedings of the Joint ACM Java Grande-ISCOPE 2002 Conference, co-located with OOPSLA 2002, Seattle, Washington, USA November 3-5, 2002
Author: sponsored by ACM SIGPLAN
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Java )Computer program language(,Congresses ، Object-oriented methods )Computer science(
Classification :
QA
76
.
9
.
O35J46
2002
19. OOIS 2001 :
Author: edited by Yingxu Wang, Shushma Patel, Ronald Johnston.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented methods (Computer science),Object-oriented methods (Computer science) -- Congresses.
20. Object modeling with the OCL : the rationale behind the Object Constraint Language
Author: Tony Clark, Jos Warmer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
2263
